/**
 * This class represents a user
 */

/**
 * @author Maximilian Csuk
 * @author Bernhard Denner
 * @author Konrad Paumann
 *
 * $Revision: 67 $
 * $Date: 2007-10-20 08:43:51 +0200 (Sat, 20 Oct 2007) $
 */
import java.util.*;

public class UserManager {
	List<User> users;
}
